Making Design Decisions to Support Diversity in InteractiveTheorem
نویسندگان
چکیده
We present a view of interactive theorem proving as a collection of diverse activities which impact on one another. We catalogue a number of features of existing theorem proving assistants (TPAs) and connect them with the activities which they seem to support. We then volunteer approaches to evaluating these features respecting the connectedness of the activities they support, and begin to make explicit some questions which could be passed on to psychologists, taking the perspective of a designer attempting to construct a powerful and well integrated interface for a TPA.
منابع مشابه
Association between Women Empowerment and Social Support in the Reproductive Decision-Making of the Women Referring to the Health Centers in Sari, Iran (2017)
Background: Empowerment of women is considered to be a critical developmental strategy. Objectives: Today, empowerment of women is not only a priority, but it also is an urgent need of women as a one of the most important populations considering their roles in the family and community. Social support and empowerment of women are regarded as an investment for future generations, which will resu...
متن کاملStudy of the relation between employees' participation in organizational decisions making and empowerment in mazanderan
Purpose – The aim of this study is to examine relation between employees’ participation in the organizations decisions making and their psychological empowerment in Iran Telecommunication Company subsidiary of Mazanderan Province. Design / methodology /approach- 250 employees from the Iran Telecommunication Company subsidiary of Mazanderan Province participated in this study. A Spearman's cor...
متن کاملDelving Into the Details of Evaluating Public Engagement Initiatives; Comment on “Metrics and Evaluation Tools for Patient Engagement in Healthcare Organization- and System-Level Decision-Making: A Systematic Review”
Initiatives to engage the public in health policy decisions have been widely endorsed and used, yet agreed upon methods for systematically evaluating the effectiveness of these initiatives remain to be developed. Dukhanin, Topazian, and DeCamp have thus developed a useful taxonomy of evaluation criteria derived from a systematic review of published evaluation tools that might serve as the basis...
متن کاملNew Realities of the Enterprise Management System Information Support: Economic and Mathematical Models and Cloud Technologies
The paper focuses on the urgency of the implementation of cloud technologies, which are a necessary condition for the development of enterprise management systems, give rise to a complex of insufficiently studied phenomena and processes and determine the need to find new tools in making and implementing reasonable management decisions. In the process of research, the sequence of construction an...
متن کاملProduct Development Decision Support System Customer-Based
Quality Function Deployment (QFD) has been traditionally used as a planning tool primarily for product development and quality improvement. In this context, many people have used QFD for making decisions on how to prioritize critical product areas from a customer perspective. However, it is the position of the author that the QFD process can be viewed as a decision support system that would enc...
متن کامل